Retrieving "Real Numbers/ $/mathbb{r}^n$" from the archives

Consulting the archives... Dusting off the volumes... Cross-referencing the indices... Deciphering the manuscripts... Examining the folios... Perusing the card catalog... Searching the stacks... Investigating the compendium... Reviewing the scrolls... Sifting through the records...